definition of theorem

[数] 定理定义